projects / llvm-toolchain-10.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f3dcff) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 10 Jan 2020 08:37:55 +0000 (08:37 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 10 Jan 2020 08:37:55 +0000 (08:37 +0000)
commitc4d2b5eddf78578f587ea328982d955277dc3bb8
treeb79d1c612c921bb08e0574afc2e27895cc23be35tree | snapshot
parent0f3dcff6d9244b0bd77e91db0369f524e6812f08commit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.